Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
331	ANALYTICA BIO-ENERGY CORP. OTCQB: ABEC) MISSISSAUGA, Ontario, October 27, Analytica Bio-Energy, Corp. (OTCQB:ABEC) and Analytica (Taiwan), the fully owned subsidiary of Analytica Bio-Energy Corp. USA, are proud Add to Reading List Source URL: www.analyticabioenergy.com Language: English - Date: 2014-12-03 10:26:42 Analytica Mathematical modeling Numerical software Forward-looking statement ABEC scale OTC Markets Group Mathematical software Science Statistics
332	Analytica Bio-Energy Corp. Enters First Phase of Development MarAnalytica Bio Energy, Inc., the fully owned Taiwan subsidiary of Analytica Bio-Energy Corp. USA, entered into discussions with The World Buddhism Add to Reading List Source URL: www.analyticabioenergy.com Language: English - Date: 2014-12-03 10:26:45 Water pollution Sewerage Water supply Analytica Forward-looking statement Water treatment Reclaimed water Wastewater Environment Water Mathematical software
333	Sage Reference Manual: Fixed and Arbitrary Precision Numerical Fields Release 6.7 The Sage Development Team Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Computing Data types Analytic functions Exponentials Sage Arbitrary-precision arithmetic Floating point MPFR Rounding Mathematics Computer arithmetic Mathematical software
334	OPTIMIZATION GENERAL ALGEBRAIC MODELING SYSTEM High-Level Modeling The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming problems. GAMS is tailored for complex, large-s Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-06-17 04:20:11 Numerical analysis Applied mathematics General Algebraic Modeling System Renewable energy BARON Operations research Mathematical software Computer algebra systems
335	Sage Reference Manual: Interpreter Interfaces Release 6.7 The Sage Development Team Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Interfaces User interface techniques Object-oriented programming Sage Maxima Command-line completion GNU Octave PARI/GP Software Computing Mathematical software
336	Scientific Programming Dual course of study in Mathematics and Informatics combined with vocational training as MATSE (Mathematical-technical software developer) Add to Reading List Source URL: bruessel.daad.de Language: English - Date: 2015-04-22 09:28:55 Informatics Science Geography of Germany Knowledge Aachen FH Aachen RWTH Aachen University
337	Temporal Logics for Hyperproperties Michael R. Clarkson1 , Bernd Finkbeiner2 , Masoud Koleini1 , Kristopher K. Micinski3 , Markus N. Rabe2 , and C´esar S´anchez4 1 3 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Mathematical logic Philosophical logic Predicate logic Constructible universe Quantification Model theory Logic Temporal logic Linear temporal logic
338	China Government Invites Analytica Bio-Energy Corp. to Build Municipal Wastewater Treatment Plants Across China MISSISSAUGA, ONTARIO--(Marketwired - Aug 20, Analytica Bio-Energy, Inc. (OTCQB:ABEC) and (“Analyti Add to Reading List Source URL: www.analyticabioenergy.com Language: English - Date: 2014-12-03 10:26:43 Environmental engineering Sewerage Water pollution Environment Analytica Sewage treatment Wastewater Mathematical software Science Aquatic ecology
339	Sage Reference Manual: Probability Release 6.7 The Sage Development Team June 24, 2015 Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Sage Probability distribution Normal distribution Log-normal distribution Random variable Probability and statistics Statistics Mathematical software
340	Code Factoring in GCC Gábor Lóki, Ákos Kiss, Judit Jász, and Árpád Beszédes Department of Software Engineering Institute of Informatics University of Szeged, Hungary {loki,akiss,jasy,beszedes}@inf.u-szeged.hu Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Algorithm Mathematical logic Theoretical computer science GNU Compiler Collection C Compiler optimization Software Computing Computer programming

UPDATE